# (decoded with TMPL 1000)
*****: (EOF-terminated list)
  0: Value: -19747
  1: Value: -10045
  2: Value: -8482
  3: Value: -12348
  4: Value: -30008
  5: Value: -11382
  6: Value: -1845
  7: Value: -15154
  8: Value: -11382
  9: Value: -56
  10: Value: -15418
  11: Value: -14651
  12: Value: -9814
  13: Value: -21846
  14: Value: -21846
  15: Value: -21846
  16: Value: -21846
  17: Value: -21846
  18: Value: -21846
  19: Value: -21846
  20: Value: -21846
  21: Value: -21846
  22: Value: -21846
  23: Value: -21846
  24: Value: -21846
  25: Value: -21846
  26: Value: -21846
  27: Value: -21846
  28: Value: -21846
  29: Value: -21846
  30: Value: -21846
  31: Value: -21846